VALUE OF ACTIVE COMPASSION IN THE HEROIC EPIC: RUSSIAN EPIC CONCEPT
نویسندگان
چکیده
منابع مشابه
Value Speculation Mechanisms for EPIC Architectures
Value speculation has the potential of extending instruction level parallelism by breaking the barrier caused by chains of pure dependencies. To date, the literature has focused primarily on implicitly parallel architectures with superscalar cores. This paper presents a scheme for integrating value speculation into an explictly parallel instruction computer ISA, such as IA-64 or HPL-PD. It pres...
متن کاملReview of A.T. Hatto, Traditions of Heroic and Epic Poetry, Volume One: The Traditions
For aficionados of the epic, to be in London between the summer of 1964 and the winter of 1972 must have been very exhilarating. During that period the London Seminar on Epic convened 31 times to hear lectures on diverse epics from both nearby and remote cultures, delivered by specialists of these poetic narratives and their literary traditions. The 12 articles that constitute the present volum...
متن کاملEPiC Series in Computing
We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2017. This year, three tools CORA, Flow* and Isabelle/HOL (in alphabetic order) participated. They are applied to solve the reacha...
متن کاملEPiC Series in Computing
Although clausal propositional proofs are significantly smaller compared to resolution proofs, their size on disk is still too large for several applications. In this paper we present several methods to compress clausal proofs. These methods are based on a two phase approach. The first phase consists of a light-weight compression algorithm that can easily be added to satisfiability solvers that...
متن کاملEPiC Series in Computing
We describe our initial experiments with several state-of-the-art automated theorem provers on the problems in Tarskian Geometry created by Beeson and Wos. In comparison to the manually-guided OTTER proofs by Beeson and Wos, we can solve a large number of problems fully automatically, in particular thanks to the recent large-theory reasoning methods.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Проблемы исторической поэтики
سال: 2021
ISSN: 1026-9479
DOI: 10.15393/j9.art.2021.8842